satistiability problem
[計] 可滿足性問題
熱門查詢
- dehumidifier n. 減濕劑；干燥器
- operational adj. 操作的；運作的
- obsessive adj. 強迫性的；著迷的；分神的
- overburdened adj. 負擔過重的；裝載過多的 vt. 使負擔過重（overburden的過去分詞）
- girdle n. 腰帶；圍繞物；婦女緊身褡 vt. 圍繞；繞…而行；用帶子捆扎
- noncom n. 軍士；未受任命的士官
- printing n. 印刷；印刷術
- upside n. 優勢，上面
- Berkley [人名] 伯克利; [地名] [英國] 伯克利
- maturely adv. 成熟地；充分地
- Broughton [人名] [英格蘭人姓氏] 布勞頓住所名稱，來源于古英語，含義是“小河，或堡壘，或山+圈用地，居留地”(brook,or fortress,or hill+enclosure,settlement); [地名] [英國、英國] 布勞頓
- surprisingly adv. 驚人地；出人意料地
- polo n. 馬球；水球 n. (Polo)人名；(法、俄、西、意、芬、阿爾巴)波洛
- cyclo n. 三輪車；出租機動三輪車
- kicking n. 踢腿；反撞 adj. 活潑熱烈的；激動人心的 v. 踢；反沖；加速；活躍（kick的ing形式）
- snug adj. 舒適的；溫暖的；緊身的；隱藏的 vt. 使變得溫暖舒適；隱藏 vi. 偎依；舒適地蜷伏 n. 舒適溫暖的地方；雅室
- arouse vt. 引起；喚醒；鼓勵 vi. 激發；醒來；發奮
- acquiesce vi. 默許；勉強同意
- zippy adj. <非正>能迅速移動的
- paperwork n. 文書工作
